为什么"用数学归纳法来证明哥德巴赫猜想可笑"?

善良的宋兰: 中国预印本.数学序号1286<<一个挑战世界难题的数学模型>>文章作者之一吕渊认为数学归纳法是联系有限和无限的桥梁.要给出人们能够接受的一般性证明.离散数学的理论告诉我们:数学归纳法可用来证明与自然数集合一一对应的命题集合.由推理规则可知,对于无穷数目的命题集合就只能用数学归纳法(见北京航空航天大学教科书<离散数学/尹宝林等编著1998年.第210页>).其本质就是数理逻辑的推理规则(简称MP规则和UG规则).也就是说,数学归纳法把有限与无限有效联系起来,而使用数学归纳法的条件是构造可递归的函数.持不同观点者可进一步研究北京航空航天大学教科书.
对<归纳法>的讨论非常有意义.归纳法分为完全归纳法(又称第一,二数学归纳法和超限归纳法或称应用于数理逻辑和计算机领域的结构归纳法)和不完全归纳法两大类.后一类在许多科学领域的研究中是极为重要的方法,也就是说通过有限次的试验或实践成功概率很高的情况下就可认为是对的,但对于纯数学来说这不是定理,仍是猜想,只有由完全归纳法推理得到的结果才能被数学界接受.这不但是个数理逻辑问题,也是一个哲学问题.

因为很多人这样做都没证出来。不过这也不可笑

不可笑